Hoxc8<tm1.1Rud> http://identifiers.org/mgd/MGI:2675412 targeted mutation 1.1, Frank H Ruddle MGI:2675412 Hypomorph EElox